Relation d'ordre \(\leqslant\)
Relation binaire
réflexive, antisymétrique et transitive.

• on y associe la Relation binaire réciproque \(\geqslant\) par : \(x\geqslant y\iff\) \(y\leqslant x\)
• on y associe également la relation d'ordre strict \(\lt \), définie par \(x\lt y\iff\) \(x\leqslant y\land x\ne y\)

Questions de cours

START
Ω Basique (+inversé optionnel)
Recto: Donner un exemple de relation d'ordre sur \({\Bbb N}^*\) (autre que \(\leqslant\)).
Verso: La divisibilité \(|\).
Bonus:
Carte inversée ?:
END
START
Ω Basique (+inversé optionnel)
Recto: Donner un exemple de relation d'ordre sur \({\mathcal P}(X)\).
Verso: L'inclusion \(\subset\).
Bonus:
Carte inversée ?:
END